1. Adjoint Equations and Analysis of Complex Systems
پدیدآورنده : by Guri I. Marchuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Environmental sciences.,Mathematics.
2. Advances in Research Methods for Information Systems Research
پدیدآورنده : \ Osei-Bryson, Kweku-Muata, Ojelanki Ngwenyama, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics.,Electronic data processing -- Research -- Data processing.,علوم کامپیوتر -- ریاضیات ,داده‌پردازی -- تحقیق -- داده پردازی
رده :
E-Book
,
3. Algorithms for Elliptic Problems :
پدیدآورنده : by Marián Vajteršic.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.
4. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
5. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
پدیدآورنده : Art Lew
موضوع : Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Computing, Computing )Springer-Verlag( Supplementum
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science - Mathematics,، Numerical methods,Mathematics ، Electronic data processing,Data Processing ، Mathematics
رده :
QA
76
.
9
.
M35
.
C656
7. Developments in Reliable Computing
پدیدآورنده : edited by Tibor Csendes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Electronic data processing.
8. Emotional cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
پدیدآورنده : Perlovsky, Leonid I.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Neural networks )Computer science(,Data processing ، Engineering mathematics,، Computer algorithms,، Electronic books
رده :
QA
76
.
87
.
P47
9. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
10. Godunov Methods :
پدیدآورنده : edited by E.F. Toro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.
رده :
QA911
.
E358
2001
11. High Performance Computing in Science and Engineering, Munich 2004 :
پدیدآورنده : edited by Siegfried Wagner, Werner Hanke, Arndt Bode, Franz Durst.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Electronic data processing.,Engineering.
رده :
QA76
.
88
E358
2005
12. Linear Algebra for Large Scale and Real-Time Applications
پدیدآورنده : edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.,Systems theory.
13. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
14. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
15. Numerical Analysis
پدیدآورنده : by Roger Temam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Electronic data processing.,Mathematics.
16. Numerical Data Fitting in Dynamical Systems
پدیدآورنده : by Klaus Schittkowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematical optimization.,Mathematics.,Statistics.
17. Numerical Integration of Stochastic Differential Equations
پدیدآورنده : by G. N. Milstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Distribution (Probability theory).,Electronic data processing.,Mathematics.
18. Praktische Informationstechnik mit C#
پدیدآورنده : Oliver Kluge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Electronic data processing.,Engineering mathematics.
19. Scientific computing with automatic result verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
20. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
